Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Markov decision Petri nets with uncertainty
2015-01-01 Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana
Magda: A New Language for Modularity
2012-01-01 Viviana Bono; Jarek Kusmierek; Mauro Mulatero
Looking back to the EVALITA Constituency Parsing Task: 2007-2011
2012-01-01 Cristina Bosco; Alessandro Mazzei; Alberto Lavelli
Logical Semantics for the First Order Sigma-Calculus
2003-01-01 Steffen van Bakel ; Ugo de' Liguoro
The Klaim Project: Theory and Practice
2003-01-01 L. Bettini;V. Bono;R. D. Nicola;G. Ferrari;D. Gorla;M. Loreti;E. Moggi;R. Pugliese;E. Tuosto;B. Venneri
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; ROVERSI L.
Extensible Objects: a Tutorial
2003-01-01 V. Bono
The EVALITA Dependency Parsing Task: from 2007 to 2011
2012-01-01 Cristina Bosco; Alessandro Mazzei
Drammar: A Comprehensive Ontological Resource on Drama
2018-01-01 Vincenzo Lombardo, Rossana Damiano, Antonio Pizzo
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding
2018-01-01 Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
A core calculus of higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Coordinating Mobile Object-Oriented Code
2002-01-01 Bettini, Lorenzo; Bono, Viviana; Venneri, B.
A bi-clustering framework for categorical data
2005-01-01 R. G. Pensa; C. Robardet; J-F. Boulicaut
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Markov decision Petri nets with uncertainty | 2015 | Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana | |
Magda: A New Language for Modularity | 2012 | Viviana Bono; Jarek Kusmierek; Mauro Mulatero | |
Looking back to the EVALITA Constituency Parsing Task: 2007-2011 | 2012 | Cristina Bosco; Alessandro Mazzei; Alberto Lavelli | |
Logical Semantics for the First Order Sigma-Calculus | 2003 | Steffen van Bakel ; Ugo de' Liguoro | |
The Klaim Project: Theory and Practice | 2003 | L. Bettini;V. Bono;R. D. Nicola;G. Ferrari;D. Gorla;M. Loreti;E. Moggi;R. Pugliese;E. Tuosto;B. Venneri | |
Intersection Logic | 2001 | S. RONCHI DELLA ROCCA; ROVERSI L. | |
Extensible Objects: a Tutorial | 2003 | V. Bono | |
The EVALITA Dependency Parsing Task: from 2007 to 2011 | 2012 | Cristina Bosco; Alessandro Mazzei | |
Drammar: A Comprehensive Ontological Resource on Drama | 2018 | Vincenzo Lombardo, Rossana Damiano, Antonio Pizzo | |
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding | 2018 | Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice | |
A core calculus of higher-order mixins and classes | 2004 | L. BETTINI; V. BONO; S. LIKAVEC | |
Coordinating Mobile Object-Oriented Code | 2002 | Bettini, Lorenzo; Bono, Viviana; Venneri, B. | |
A bi-clustering framework for categorical data | 2005 | R. G. Pensa; C. Robardet; J-F. Boulicaut |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile